Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000A13 | Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France] | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
| 000A24 | Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France] | Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics |
| 001982 | Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France] | TLA+ Proofs |
| 001A50 | Denis Cousineau [France] ; Damien Doligez [France] ; Leslie Lamport [France] ; Stephan Merz [France] ; Daniel Ricketts [États-Unis] ; Hernán Vanzetto [France] | TLA+ Proofs |
| 002B72 | Kaustuv Chaudhuri [France] ; Damien Doligez [France] ; Leslie Lamport [États-Unis] ; Stephan Merz [France] | Verifying Safety Properties With the TLA+ Proof System |
| This area was generated with Dilib version V0.6.33. |  |